proof rule

[计] 验证规则, 校对规则